fixing Mario.cpp