fixes around doc/doc_type