diff --git a/web-app/src/components/expr_entry.rs b/web-app/src/components/expr_entry.rs
index 723e29c7..de1d74c9 100644
--- a/web-app/src/components/expr_entry.rs
+++ b/web-app/src/components/expr_entry.rs
@@ -126,7 +126,7 @@ impl ExprEntry {
         let cursor_pos = left.chars().count() as u32;
 
         // Update text field value
-        let value = [[left, right].concat(), " ".to_string()].concat();
+        let value = [left, right].concat();
         input_elem.set_value(&value);
 
         // Update cursor position
diff --git a/web-app/src/components/proof_widget/mod.rs b/web-app/src/components/proof_widget/mod.rs
index c21ac523..784fbb5f 100644
--- a/web-app/src/components/proof_widget/mod.rs
+++ b/web-app/src/components/proof_widget/mod.rs
@@ -179,10 +179,9 @@ impl ProofWidget {
                         //tooltip portion addapted from: 
                         // * https://stackoverflow.com/questions/31483302/how-to-display-an-image-inside-bootstrap-tooltip 
                         // * https://getbootstrap.com/docs/4.1/components/tooltips/ 
-
-                        html! {
-                            <button class="dropdown-item" type="button" data-toggle="tooltip" data-placement="right" title={format!("<img id='rule-img' src='proofImages_light/{}.png' width=100% border-radius:4px/>", rule.get_name())} onclick={ ctx.link().callback(move |_| ProofWidgetMsg::LineAction(LineActionKind::SetRule { rule }, pjref)) }>
-                                { rule.get_name() }
+                      html! {
+                            <button class="dropdown-item" type="button" data-toggle="tooltip" data-placement="right" title={format!("<img id='rule-img' src='proofImages_light/{}.png'/>", rule.get_name())} onclick={ ctx.link().callback(move |_| ProofWidgetMsg::LineAction(LineActionKind::SetRule { rule }, pjref)) }>
+                            { rule.get_name() }
                             </button>
                         }
                     })
diff --git a/web-app/static/index.html b/web-app/static/index.html
index 2045bf09..65d7e4cd 100644
--- a/web-app/static/index.html
+++ b/web-app/static/index.html
@@ -40,6 +40,7 @@
     // * https://stackoverflow.com/questions/31483302/how-to-display-an-image-inside-bootstrap-tooltip 
     // * https://stackoverflow.com/questions/24655291/how-to-bind-bootstrap-tooltip-on-dynamic-elements 
     $('body').tooltip({ selector: '[data-toggle="tooltip"]', html:true}); 
+
     </script>
 </body>