manually fix a trailing ws in src/ and doc/ caught by git grep