Removing dummy blank spaces

Sorry for having introduced them in a previous commit :-/