Oops, fix es that had been broken by the JavaScript code.