Fix Dot output of a saturation fixpoint