revisions after comments from proof-reader