Erratum: Neutrino experiment to test the nature of muon-number conservation (Physical Review Letters (1980) 45, 16, (1370))