fix precondition.