Fixes for milestone 1.7.2 release (issues 313). Updates to help
document.