diff --git a/bin/deepstate/common.py b/bin/deepstate/common.py
index 393d58b..cb9a88c 100644
--- a/bin/deepstate/common.py
+++ b/bin/deepstate/common.py
@@ -119,7 +119,7 @@ class DeepState(object):
 
     parser.add_argument(
         "--output_test_dir", type=str, required=False,
-        "Directory where tests will be saved.")
+        help="Directory where tests will be saved.")
 
     parser.add_argument(
         "binary", type=str, help="Path to the test binary to run.")
diff --git a/examples/Primes.cpp b/examples/Primes.cpp
index de94102..f99c9bc 100644
--- a/examples/Primes.cpp
+++ b/examples/Primes.cpp
@@ -35,7 +35,7 @@ TEST(PrimePolynomial, OnlyGeneratesPrimes) {
   ASSUME_GT(z, 1);
   ASSUME_LT(y, poly);
   ASSUME_LT(z, poly);
-  ASSERT_NE(poly, y * z)
+  ASSERT(poly != y * z)
       << x << "^2 + " << x << " + 41 is not prime";
   ASSERT(IsPrime(Pump(poly)))
       << x << "^2 + " << x << " + 41 is not prime";