We now report errors to the HTML view.