Tweaks to the autograding