If it makes you feel any better, which it probably won't, you made the right play.