We previously showed germ‐free Gpx1/2‐DKO mice of mixed B6.129 background did not develop ileocolitis. The gene discussed is GPX1; the disease is ileocolitis.