Corrected some errors in the original versions of grader.js and checks.json