Check the repair mode.

A ReconfigurationObjective can now also
formatting