Fix normalizeCiphertext