What should we be doing for children with peanut allergy?