[minor] nits