diff --git a/Cargo.lock b/Cargo.lock
index 49b156a..2e04480 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -855,7 +855,7 @@ checksum = "5c297a1c74b71ae29df00c3e22dd9534821d60eb9af5a0192823fa2acea70c2a"
 
 [[package]]
 name = "deduct"
-version = "1.0.3"
+version = "1.0.4"
 dependencies = [
  "eframe",
  "egui",
diff --git a/Cargo.toml b/Cargo.toml
index 2b71228..88dfc9d 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name        = "deduct"
 authors     = ["Colonial"]
-version     = "1.0.3"
+version     = "1.0.4"
 edition     = "2021"
 description = "A Fitch-style natural deduction proof checker, with support for modal logic."
 repository  = "https://github.com/Colonial-Dev/deduct"
diff --git a/src/ui/proof.rs b/src/ui/proof.rs
index 266d5ab..d1973b7 100644
--- a/src/ui/proof.rs
+++ b/src/ui/proof.rs
@@ -191,7 +191,7 @@ impl ProofUi {
                 if end == n {
                     self.lines.remove(n);
                 } else {
-                    self.lines.drain(n..end); 
+                    self.lines.drain(n..=end); 
                 }
             }
             else {