fixing mario.cpp