Added DOT file printing