Fix mario example

Waiting #4 resolution