Minor bug in SpecConstr