Publisher's Note: Muons in air showers at the Pierre Auger Observatory: Mean number in highly inclined events [Phys. Rev. D, 91 , 032003 (2015)]