More minor manual copyedits to fix 7x9 manual underfull/overfull hboxes.