diff --git a/README.md b/README.md
index 51ca6c9..d499fb5 100644
--- a/README.md
+++ b/README.md
@@ -36,7 +36,7 @@ Dependencies:
 
 Just use `cargo install`, and Deduct will be compiled and added to your `PATH`.
 ```sh
-cargo install --locked --git https://github.com/Colonial-Dev/deduct --branch master
+cargo install --locked --git https://github.com/Colonial-Dev/deduct deduct
 ```
 
 ## Getting Started
diff --git a/src/ui/popups.rs b/src/ui/popups.rs
index de8c99b..697a0b5 100644
--- a/src/ui/popups.rs
+++ b/src/ui/popups.rs
@@ -146,12 +146,14 @@ impl Widget for &mut NewProof {
                     .hint_text("Premises...")
                     .font(font.clone())
                     .desired_width(f32::INFINITY)
+                    .margin(Margin::symmetric(0.0, 0.0))
                     .show(ui);
 
                 let c = TextEdit::singleline(&mut self.conclusion)
                     .hint_text("Conclusion...")
                     .font(font.clone())
                     .desired_width(f32::INFINITY)
+                    .margin(Margin::symmetric(0.0, 0.0))
                     .show(ui);
 
                 if p