diff --git a/version.php b/version.php
index db70dbc0..b6cec222 100755
--- a/version.php
+++ b/version.php
@@ -1,7 +1,7 @@
 <?php 
 
 $version="OSS"; 
-$version_revision="P.1.9";
+$version_revision="1.9";
 $githash = file_get_contents("../githash.txt");
 if (!empty($githash)) {
   $version_revision .= " (".substr($githash,0,8).")";