Fix Grading protocol serialization bug