Pedantic whitespace fix