Fix many typos in graders.js