Minor formatting adjustments in index