[minor] whitespace