minor fixes in comments