small tweak to grader.js