Fix typo in SpecConstr that made it not work at all