minor change to doctags