minor refactoring in index.html