fix nit-picky comments