CodingStyle: trailing whitespace