remove trailing whitespace
[BUG #8121] adapted manual according to index.html issue