Mods to grader.js