Whitespace and formatting. No functional change intended.