Trivial code whitespace cleanup