minor code cleanup on index.html