remove some cruft from index.html example