Small updates to chapter 4 for typesetting/etc.