Little tweak to docs