A 7-year-old sucks his thumb. What to do?