minor technical edits in 7.7 through Appendices.