Re-enable html tracebacks. Closes #501.