Corrected little bug in ProbabilisticEncoderF2m