diff --git a/collects/scribble/tag.rkt b/collects/scribble/tag.rkt index bfddb88f..433becec 100644 --- a/collects/scribble/tag.rkt +++ b/collects/scribble/tag.rkt @@ -31,7 +31,7 @@ (define (taglet? v) (and (not (generated-tag? v)) - (tag? (list 'something v)))) + (tag? (list 'something (list v))))) (define interned (make-weak-hash))