Slight cleanup in index.html