That's exactly what I was about to said. Moderators however do not delete posts unless it's strictly necessary, so you did the right thing simply editing the thread.