documentation fixup