whitespace cosmetics: Reindent a few lines after the last commit.