More documentation and formatting improvements.