Update mario.js

Duplicate line. Code looks nice though.