A bit of tweakage on the json calls to the autograder.