minor fix for Ch. 12