Fix mario example, make sure hot swapping works when embedded in an iframe.