Fix mcs_config invariant check