Fix precondition.