diff --git a/setup.py b/setup.py
index 02510be..8e74aad 100644
--- a/setup.py
+++ b/setup.py
@@ -1,7 +1,7 @@
 from setuptools import setup, find_packages
 
 setup(name='py-stl',
-      version='0.1',
+      version='0.11',
       description='TODO',
       url='http://github.com/mvcisback/py-stl',
       author='Marcell Vazquez-Chanlatte',
diff --git a/stl/test_boolean_eval.py b/stl/test_boolean_eval.py
index 1b1cb91..48dc188 100644
--- a/stl/test_boolean_eval.py
+++ b/stl/test_boolean_eval.py
@@ -12,13 +12,13 @@ ex4 = ("G[1, 0](2*A > 3)", True)
 ex5 = ("(A < 0)", False)
 ex6 = ("G[0, 0.1](A < 0)", False)
 ex7 = ("G[0, 0.1](C)", True)
-ex7 = ("G[0, 0.2](C)", False)
-ex7 = ("(F[0, 0.2](C)) and (F[0, 1](2*A > 3))", True)
+ex8 = ("G[0, 0.2](C)", False)
+ex9 = ("(F[0, 0.2](C)) and (F[0, 1](2*A > 3))", True)
 x = pd.DataFrame([[1,2, True], [1,4, True], [4,2, False]], index=[0,0.1,0.2], 
                  columns=["A", "B", "C"])
 
 class TestSTLRobustness(unittest.TestCase):
-    @params(ex1, ex2, ex3, ex4, ex5, ex6, ex7)
+    @params(ex1, ex2, ex3, ex4, ex5, ex6, ex7, ex8, ex9)
     def test_stl(self, phi_str, r):
         phi = stl.parse(phi_str)
         stl_eval = stl.boolean_eval.pointwise_sat(phi)