little correction in graph.oz