readd wrongly removed space (it is part of the source code that is
tested)