diff --git a/python/coqtail.py b/python/coqtail.py
index 26b96c25..0841ec99 100644
--- a/python/coqtail.py
+++ b/python/coqtail.py
@@ -886,7 +886,7 @@ def parse_msgs(self) -> None:
             try:
                 msg = self.rfile.readline()
                 msg_id, data = json.loads(msg)
-            except (json.JSONDecodeError, ConnectionError):
+            except (json.JSONDecodeError, ConnectionError, ValueError):
                 # Check if channel closed
                 self.closed = True
                 break
diff --git a/python/coqtop.py b/python/coqtop.py
index 70ea19a5..cbdfa820 100644
--- a/python/coqtop.py
+++ b/python/coqtop.py
@@ -846,9 +846,7 @@ def interrupt(self) -> None:
             self.dune.send_signal(signal.SIGTERM)
             self.dune.wait()
             self.dune = None
-        else:
-            if self.coqtop is None:
-                raise CoqtopError("Coqtop is not running.")
+        elif self.coqtop is not None:
             self.coqtop.send_signal(signal.SIGINT)
 
     # Current State #