docs/Compilation.txt: remove stray space.