Minor tweak to docs index