diff --git a/web/types/making_a_web_site.anubis b/web/types/making_a_web_site.anubis
index d0e9e59..91ea121 100644
--- a/web/types/making_a_web_site.anubis
+++ b/web/types/making_a_web_site.anubis
@@ -641,7 +641,7 @@ public type HTML_tooltip:
 
 
 public type CoreAttrs:
-  empty,
+  //empty,
   id        (String),                   //A unique identifier for the element.
                                         //There must not be multiple elements in a document that have the same id value.
   class     (String),                   //A name of a classification, or list of names of classifications, to which the element belongs
--
libgit2 0.21.4