Minor fixups and improved documentation.