Fixed CE for a correct program