Merged Tim and Roy's changes in index.html.