diff --git a/docs/iris.sty b/docs/iris.sty
index afae4f8ec0649e9c78557a00f9e53296c701e47a..f54bb99b6ff6a543d290f0a132acb63d8d94f125 100644
--- a/docs/iris.sty
+++ b/docs/iris.sty
@@ -398,7 +398,7 @@
 
 \newcommand{\cfg}[2]{{#1};{#2}}
 
-\def\fill#1[#2]{#1 {[}\, #2\,{]} }
+\def\fillctx#1[#2]{#1 {[}\, #2\,{]} }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 % STANDARD DERIVED CONSTRUCTIONS