Added a bit of documentation. Other topical changes.