cleaning up some <code> block in index.html