fix formatting (trailing whitespace trimmed by mistake)