Whitespace cleanup of #3069.