A small tweak in the docs for bug #8211.