Solved a bug in MPC checking