Fixing mario example