Small tweak to the docs.