Original: During the development of Donkey Kong, Mario was known as Jumpman.
Simplified: During the development of Donkey Kong, Mario was known as "Jumpman".