Improve page formatting.  Recover page numbers.

Page numbers and the rest of the page heading had been pushed off the
top of the page.