fix minor nits