Fix a layout problem in the mono man page.