Correction on decoding with a key