Slight changes to grader.js