minor additions to the text