Minor tweak to the docs.