diff --git a/bs/TagEngine.bs b/bs/TagEngine.bs
index 2900822..e1ea262 100644
--- a/bs/TagEngine.bs
+++ b/bs/TagEngine.bs
@@ -11,6 +11,10 @@ interface (TagEngine :: # -> *) numTags =
     requestTag :: ActionValue UIntLog2N(numTags)
     retireTag  :: UIntLog2N(numTags) -> Action
 
+-- The tag engine returns a tag that is unique for the duration of
+-- the lifetime of the tag. Useful when you need to tag transactions
+-- on a bus for example.
+-- This implementation is stack based.
 mkTagEngine :: Module (TagEngine numTags)
 mkTagEngine =
     do