diff --git a/specification/dartLangSpec.tex b/specification/dartLangSpec.tex
index bd58334e36..e6946149f3 100644
--- a/specification/dartLangSpec.tex
+++ b/specification/dartLangSpec.tex
@@ -26100,7 +26100,7 @@ \section*{Appendix: Algorithmic Subtyping}
   if $T_0$ is a type variable $X_0$
   or a promoted type variables \code{$X_0$\,\&\,$S_0$} and $T_1$ is $X_0$
   then \SubtypeNE{T_0}{T_1}.
-  
+
   \commentary{%
     Note that this rule is admissible, and can be safely elided if desired.%
   }