some tag renamings in documentation