remove trailing whitespace introduced by #8875