P. 232 misnumbered "132".