Correction to 'The covering radius of the (215, 16) Reed-Muller code is at least 16276' (May 83 354-356)