Fix whitespace from Tony's comments