[minor] small cleanup