diff --git a/public_html/deployment/inc_functions.php b/public_html/deployment/inc_functions.php
index 75b8ef4b36b9067960384ee2506ff4a6019e0a42..9d968bdaa2dc32417a44115413e9cc25dc6e5918 100644
--- a/public_html/deployment/inc_functions.php
+++ b/public_html/deployment/inc_functions.php
@@ -206,7 +206,7 @@ function getTopArea() {
     $sMyPhase = "[phase]";
     $sMyRev = " [no rev] ";
     // bug#1511 json file was moved 1 level up
-    $sJsonfile = __DIR__ . "/../../ci-webgui.json";
+    $sJsonfile = __DIR__ . "/../../ciserver.json";
     if (file_exists($sJsonfile)) {
         $aJson = json_decode(file_get_contents($sJsonfile), true);
         if (array_key_exists("date", $aJson))