Docs fixup