Fix little issues in grader json