Bugfix for index.html