Update user_doc.doc and make a pdf version.  Also fix a typo