Minor edit to grader.js