Minor fix in /application/controllers/grader.php