drop trailing whitespace because some of us use text editors that render it