more documentation on constraints
Fixed bogus example in doc