fixing typos in UserManual