Small changes to whitespace.