pushing a fix for mario jump