Fixes for a number of page numbers in the bibtex file for the user manual.
Authored by: bugman 2013-11-06
Parent: [r21394]
Child: [r21396]
