fix the explanation of file name of docinfo1 attribute in user manual.