Looks good to me.  I pushed one more commit to fix a few typos and tweak
formatting a bit.