Tightened up documentation and updated GraphViz.