Fix overzealous use of whitespace