Fix after review of the built-in constraint chapter