Docs fixups