Fixed some docs for bug #7906.