cosmetic removal of trailing whitespace