[correction] Slight improvement on exception rendering