[BUG #7501]  Minor documentation improvements.