We will place here a correction of whatever printing errors we manage to spot.
NNNMM means page NNN, line MM from the top.
NNNMM means page NNN, line MM from the bottom.

——————
155: a white space character, including newline → a white space character, e.g., a newline
——————
1715: pidgin—Pascal → pidgin-Pascal
——————
194: simple object → single object
——————
3013: c.d.[] → c.d.[])
——————
326: tells that → tells us that
——————
3911: printing → painting
——————
542: number → the number
——————
 Updated on December 16, 2013.