diff --git a/collects/meta/web/download/data.rkt b/collects/meta/web/download/data.rkt
index db887ec7d9..62470162ba 100644
--- a/collects/meta/web/download/data.rkt
+++ b/collects/meta/web/download/data.rkt
@@ -26,7 +26,7 @@
     ["(i386|x86_64)-linux-f([0-9]+)"       "Linux \\1 (Fedora \\2)"]
     ["(i386|x86_64)-linux-debian"          "Linux \\1 (Debian Stable)"]
     ["(i386|x86_64)-linux-debian-([a-zA-Z0-9]+)" "Linux \\1 (Debian \\2)"]
-    ["(i386|x86_64)-linux-ubuntu[0-9]+"    "Linux \\1 (Ubuntu \\2)"]
+    ["(i386|x86_64)-linux-ubuntu([0-9]+)"  "Linux \\1 (Ubuntu \\2)"]
     ["(i386|x86_64)-linux-ubuntu-([a-z]+)" "Linux \\1 (Ubuntu \\2)"]
     ["(i386|x86_64)-linux-ubuntu.*"        "Linux \\1 (Ubuntu)"]
     ["(i386|x86_64)-freebsd"               "FreeBSD \\1"]