Small documentation and formatting fixups.