Once I read that, I stopped being annoyed, too. I don't think most people know that though and so, I think he made it into the credits this round because fans were so ticked off about it.