Lots of doc and formatting changes.