doc: fixes typo in manual