Fixes to super mario theme