more documentation fixup