fix operations export in index.html