Documentation updated, and some small cleanup.