There could be, but it wouldn't cause any problems. The point is that zero subscribers at any point == disposed. That's what the previous logic did too.