Bugfix in ToDot