diff --git a/ftplugin/idris2.vim b/ftplugin/idris2.vim
index f215eba..e3de7d1 100644
--- a/ftplugin/idris2.vim
+++ b/ftplugin/idris2.vim
@@ -99,10 +99,8 @@ function! IdrisReload(q)
   let tc = system("idris2 --no-color --find-ipkg " . shellescape(file) . " --client ''")
   if (! (tc is ""))
     call IWrite(tc)
-  else
-    if (a:q==0)
-       call IWrite("Successfully reloaded " . file)
-    endif
+  elseif (a:q==0)
+    call IWrite("Successfully reloaded " . file)
   endif
   return tc
 endfunction