manual page fixes in header