Minor documentation fixups.