A few more minor formatting changes. Document compiles nicely.