Fixing bug in index.html dev branch