fix manual page