trivial changes to themes/index.html