errata to "Practical Foundations"