Minor changes.
Draw graph with xdot. Works well.