diff --git a/public/resources/js/util.js b/public/resources/js/util.js
index 87ddeed291..91cf6e5a01 100644
--- a/public/resources/js/util.js
+++ b/public/resources/js/util.js
@@ -77,7 +77,7 @@ var NgIoUtil = (function () {
             // TODO: use $location.path() instead(?). It seems to be empty.
             var loc = $location.absUrl();
             // E.g., https://example.com/docs/dart/latest/guide/displaying-data.html
-            var matches = loc.match(/.*\/([\w\.\-]+)\.html/);
+            var matches = loc.match(/.*\/([\w\-]+)(\.html)?$/);
             if (matches) NgIoUtil.setExampleName(matches[1]); // cache name
         }
         return NgIoUtil._exampleName;