Renamed "specConstr" to "spec-constr".