Erratum to ‘‘Measurement of the atmospheric muon flux with a 4 GeV threshold in the ANTARES neutrino telescope”