Documentation revisions and a leak fix.