Fixed pygments/html interaction in the error page

I think this fixes #342