More documentation fixups