Updated documentation and minor formatting changes.