fix exception about unsatisfied constraints