--- a/usr/src/pkg/manifests/SUNWarbel.mf	Wed May 23 16:43:16 2012 -0400
+++ b/usr/src/pkg/manifests/SUNWarbel.mf	Thu May 24 02:15:22 2012 +0100
@@ -25,6 +25,6 @@
 
 # Was renamed to pkg:/driver/network/arbel, both are obsolete.
 # This is made obsolete at $(PKGVERS) to match it.
-set name=pkg.fmri value=pkg:/SUNWarbel@(PKGVERS)
+set name=pkg.fmri value=pkg:/SUNWarbel@$(PKGVERS)
 set name=pkg.obsolete value=true
 set name=variant.arch value=$(ARCH)