Minor changes in build_doc