Merge pull request #115 from PeterMosmans/space

Minor textual fix (added space)
This commit is contained in:
Dirk Wetter
2015-06-02 09:26:25 +02:00