small nits and a comment change to make lint happy