improved exporting in dot format