more changes for grader.js