Small tweak to docs