Edits on grader.js