(we don't trim trailing newlines in comments otherwise)