[minor] Whitespace