fix a bug in domain_firing_interval