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