diff --git a/web/types/making_a_web_site.anubis b/web/types/making_a_web_site.anubis
index 49ef7bb..0358c83 100644
--- a/web/types/making_a_web_site.anubis
+++ b/web/types/making_a_web_site.anubis
@@ -408,6 +408,15 @@ public type A_href:
   href(WEB_Action_Name action, List((String,String)) extra_ops)
 .
 
+public define A_href
+  href
+  (
+    WEB_Action_Name action,
+    (String,String) extra_ops
+  )=
+  href(action, [extra_ops])
+.
+
 public type A_target:
   _blank,
   _self,
--
libgit2 0.21.4