fix in man page