Minor editorial cleanup

*Very* nice work. Here's a last few editorial cleanups.