diff --git a/module/doc/model.php b/module/doc/model.php
index e4c1c88773..68e6888d13 100644
--- a/module/doc/model.php
+++ b/module/doc/model.php
@@ -1860,7 +1860,7 @@ class docModel extends model
                 if($lib->type != 'execution') continue;
                 $lib->originName    = $lib->name;
                 $lib->executionName = $executionPairs[$lib->execution];
-                $lib->name          = $lib->executionName;
+                $lib->name          = $lib->executionName . '/' . $lib->name;
             }
         }