cosmetic: remove trailing whitespace