Jumping works correctly except that you have to hold down the up key to
jump instead of tapping it. The player does not fall through the
platform.