Fix erroneously introduced whitespace