Minor tweaks in index.rst