Updating names in grader.cpp.