Minor additions to the text