It now displays things properly for bug #8088.