fix totally untested toDot