cosmetic: trailing whitespace