Improvements to the autograder