Adapt the p423 autograder to be a little nicer