Final bug fixes for index.html