tiny fixes of comments