RBFOX3 and enterocolitis: We did not find a difference in NeuN-positive mature neurons in mice with enterocolitis versus controls (S8 Fig).