Trivial whitespace adjustments