Fixed the display of trace diagrams.