More groff_man-ish coding style