Page 10, line -8: the index "i" is missing for both instances of the symbol "pi". (Thanks to Victor Marek.)

Page 19, Exercise 5.3: The constraint language of Exercise 3.22 has negation as a polymorphism.