Greatly improved layout of box and pointer diagrams.