diff --git a/source/ub.tex b/source/ub.tex
index 02daa55aed..8267694f37 100644
--- a/source/ub.tex
+++ b/source/ub.tex
@@ -682,7 +682,7 @@
 #include <limits>
 
 int main() {
-  // Assuming 32-bit int, 32-bit float and 64-bit double.
+  // Assuming 32-bit \tcode{int}, 32-bit \tcode{float} and 64-bit \tcode{double}.
   double d2 = std::numeric_limits<double>::max();
   float f = d2; // undefined behavior on systems where the range of representable values
                 // of \tcode{float} is \tcode{[-max,+max]}; on systems where the range of representable