Tweak documentation.
Another tweak to the documentation.