Moshe Elitzur found a labeling error in fig. 8.1