More minor corrections - to end of document.
Corrections and references updated everywhere.