Add better top level comments to some header files, and minor
formatting changes.