Bugfixes in JavaScript and HTML wrt benchmark