diff --git a/events.xml b/events.xml
index d86861e..0db0958 100644
--- a/events.xml
+++ b/events.xml
@@ -54,10 +54,10 @@
            title="SAT and SMT solvers">
   <short>
     <p>
-      Murphy Berzish out how to programmatically determine if a program is satisfiable,
+      Murphy Berzish explains how to programmatically determine if a program is satisfiable,
       and how to find a concrete counterexample if it is unsatisfiable. At the core
       are SAT/SMT solvers. SAT theory deals with Boolean Satisfiability solvers,
-      and SMT theory, Satisfiability Modulo a Theory, allows SMT to be extended
+      while SMT theory--Satisfiability Modulo a Theory--allows SMT to be extended
       to common data structures. Free food!
     </p>
   </short>