Fixing style mistakes pointed out by autograder