Minor documentation fixups