Fix Trac #4945: another SpecConstr infelicity