Make SpecConstr work again