Missing closing paren in constraints.scm.