Slight tweak to docs