the kids

At the beginning, Mary and Ramirez were singing as children. Their voices were nice, but it looked like they were dubbed. Maybe not. Does anyone know if the performers were actually singing.