How does error correction work