some more man-page formatting