Fixes in chapters 12 and 14.