some changes to grader.js