minor fixes to comments