Fix typo in SpecConstr that made it not work at all

No match.