revisions after proof-readers comments
small revisions