Add files forgotten in previous commit
Fix minor mistake in index.html