Minor edits in user manual