minor addition of comments