diff --git a/source/iostreams.tex b/source/iostreams.tex
index 1ecb1c598d..96dcc3d3aa 100644
--- a/source/iostreams.tex
+++ b/source/iostreams.tex
@@ -6838,8 +6838,8 @@
 string out = vformat(os.getloc(), fmt, args);
 \end{codeblock}
 If the function is \tcode{vprint_unicode} and
-\tcode{os} is a stream that refers to a terminal capable of displaying Unicode
-which is determined in an implementation-defined manner,
+\tcode{os} is a stream that refers to \impldef{a terminal capable of displaying
+Unicode} which is determined in an implementation-defined manner,
 writes \tcode{out} to the terminal using the native Unicode API;
 if \tcode{out} contains invalid code units,
 \indextext{undefined}%