fix up some nits