Wherever it said Graphviz, it was supposed to be Catgraph; small fixes