Notes concerning “Error-correcting codes”