Minor whitespace tidyup.