Mario hasn't always been known as Mario. Back in the day, one of his earlier names was Jumpman. The story of how the change came about is informative, if also a little sad, especially for poor Pauline.

[via neatorama]