More provisional.
diff --git a/index.php b/index.php
index b9fe0dd..887a6f5 100644
--- a/index.php
+++ b/index.php
@@ -1,3 +1,3 @@
-<?php if ($_GET["provisional"] != "1") { header('Location: http://www.eclipse.org/projects/project.php?id=tools.oomph'); exit; } ?>
+<?php if ($_GET["provisional"] == "1") { header('Location: http://www.eclipse.org/projects/project.php?id=tools.oomph'); exit; } ?>
 
 Hello World!