Minor updates to the grader.js