A small arrangement in grader.js