Correcting Typos in Lambek-Scott

Dear Colleagues: Cambridge University Press is going into the 4th printing of our book "Introduction to Higher Order Categorical Logic" by Jim Lambek and me, and have asked us for any typos (major rewrites are not possible, alas). If anyone knows of typos (there were many in the first printing, due to CUP error, most were corrected by the 3rd paperback) we would appreciate hearing about it. You can write to me (Phil Scott) at the address below. Thanks in advance, Phil Scott scpsg@acadvm1.uottawa.ca