Tweak mario spec to indicate extra credit