fix typo in doc

fix typo in manual;