Minor whitespace cleanup. (For no better reason than I ran out of
condiments to alphabetize in the fridge.)