diff --git a/doc/contributing.texi b/doc/contributing.texi
index 866d2dae6be..78d9990b306 100644
--- a/doc/contributing.texi
+++ b/doc/contributing.texi
@@ -1009,7 +1009,7 @@ to other packages unwillingly retained.  It may also help determine
 whether to split the package (@pxref{Packages with Multiple Outputs}),
 and which optional dependencies should be used.  In particular, avoid adding
 @code{texlive} as a dependency: because of its extreme size, use
-@code{texlive-tiny} or @code{texlive-union} instead.
+the @code{texlive-tiny} package or @code{texlive-union} procedure instead.
 
 @item
 For important changes, check that dependent package (if applicable) are