fix export_dot bug