doc: fix diff which sneaked in during merge