Some changes in grader.js