fixing docs_option