upgraded to doctools 5