correct some minor nits