Added some documentation for bug #7702.