Correct Mario spec link