Placate the whitespace pedants.