Fix specs for get_doc_info