Minor mods to index.ipynb