also needed in `tests/index.html`