diff --git a/autoload/coqpit.vim b/autoload/coqpit.vim
index b268a63..b959eb8 100644
--- a/autoload/coqpit.vim
+++ b/autoload/coqpit.vim
@@ -298,5 +298,5 @@ function! coqpit#coq_version() abort
 endfunction
 
 function! coqpit#version()
-  return 'v2.0.0'
+  return '3.0.0'
 endfunction
diff --git a/autoload/coqpit/CoqTopHandler.vim b/autoload/coqpit/CoqTopHandler.vim
index e44a164..327ca09 100644
--- a/autoload/coqpit/CoqTopHandler.vim
+++ b/autoload/coqpit/CoqTopHandler.vim
@@ -120,13 +120,6 @@ function! s:CoqTopHandler._out_cb(msg) abort
   let xml = s:xml.parse('<root>' . a:msg . '</root>')
 
   for value in xml.findAll('value')
-    " NOTE : CoqTop sometimes sends <status> multiple times ....
-    " FIXME : This is dirty hack.
-    if len(value.child) == 1 && value.child[0].name ==# 'option' && has_key(value.child[0].attr, 'val') && value.child[0].attr.val is# "none"
-      exe s:log(printf('<value><option val="none" /></value> is skipped.'))
-      continue
-    endif
-    
     exe s:log(printf("Abandon(%s), waiting->type()(%s)", self.abandon, type(self.waiting)))
 
     exe s:assert('self.abandon >= 0')