[minor] remove something very minor