Fixes to super mario theme

There were a couple of minor issues with the example Super Mario theme. This fixes them. (I know, I know, it's super super minor but these sorts of things bug me.)