various minor corrections after building manual pages on a linux system