Minor edits in user documentation
Minor edits of README