removing unnecessary space

I was going to make more changes to the copy but then I realised that it was Christian Heilmann's work so didn't want to fiddle with it wiki-style. This is just a typographical thing though.