fixed bug in write_dot_file()

it didn't show nodes without edges, now it does