Small tweak to the docs