Just tidying up some whitespace (ExamTime/#6384)