docs fixup