Erratum: Muons in air showers at the Pierre Auger Observatory: Measurement of atmospheric production depth [Phys. Rev. D 90, 012012 (2014)]