Minor: trailing whitespace.