correct doctags