Don't print the inferred signature by default.
Remove redundant code for HTML errors.