bug in auto-grading