I made some final style changes.  I believe I'm done now.