several small modifications to the user-guide; fixed several grammatical
errors