Important bug fix for symbolic grading