Rather pedantic whitespace