diff --git a/_tags b/_tags
index 11f07cc2..ff6e13dc 100644
--- a/_tags
+++ b/_tags
@@ -2,7 +2,7 @@
 true: color(always)
 
 # optimization options
-true: optimize(3), unbox_closures, unbox_closures_factor(20)
+true: optimize(3), bin_annot, unbox_closures, unbox_closures_factor(20)
 
 # Include paths
 <src>: include