fix messaging on unsatisfied