Minor additions to the comment