Fixes, updates to documentation and Test Specification reports as part
of Milestone 1.7.3.