[minor] cosmetic