fix a typo in man pages