Added a missing whitespace

it annoyed me for too long now ;)