Fix missing space
Merge pull request #2119 from frederic34/patch-7

Fix missing space