diff --git a/hphp/test/zend/good/tests-lang/type_hints_003.php b/hphp/test/zend/bad/tests-lang/type_hints_003.php
similarity index 100%
rename from hphp/test/zend/good/tests-lang/type_hints_003.php
rename to hphp/test/zend/bad/tests-lang/type_hints_003.php
diff --git a/hphp/test/zend/good/tests-lang/type_hints_003.php.exp b/hphp/test/zend/bad/tests-lang/type_hints_003.php.exp
similarity index 100%
rename from hphp/test/zend/good/tests-lang/type_hints_003.php.exp
rename to hphp/test/zend/bad/tests-lang/type_hints_003.php.exp
diff --git a/hphp/tools/run_verify.sh b/hphp/tools/run_verify.sh
index e6849c805..9310d5f49 100755
--- a/hphp/tools/run_verify.sh
+++ b/hphp/tools/run_verify.sh
@@ -84,10 +84,13 @@ else
 fi
 verify_args="$verify_args --hhvm $HHVM"
 
-cmd="$cmd \
-  -v Eval.EnableHipHopSyntax=true \
-  -v Eval.EnableObjDestructCall=true \
-  -v Eval.AllowHhas=true"
+cmd="$cmd -v Eval.EnableObjDestructCall=true"
+
+echo $TEST_PATH | grep -q zend
+if [ $? -ne 0 ] ; then
+    cmd="$cmd -v Eval.AllowHhas=true \
+              -v Eval.EnableHipHopSyntax=true"
+fi
 
 case $VQ in
     jit)