Markup fixes in several manual pages.