Fix a file name and small edits in section 1 of User Manual.