more docs, and minor formatting changes