VGL to-do list about a bug in grader