minor fixes of comments