A few tweaks to chapters 5, 6, and 7.