Fixed bug regarding Enc(1, -kf)