fixes to grader.js