add toDot option