fixed up incorrect constraint (sorry!)