Better error-correcting example