more documentation fixups