remove unneeded pipe from  man page example