Style cleanups, doc additions.