add toDot function