diff --git a/DOCS/documentation.html b/DOCS/documentation.html
index 8af4b5e178..29106682fb 100644
--- a/DOCS/documentation.html
+++ b/DOCS/documentation.html
@@ -1564,7 +1564,7 @@ end
   <A HREF="http://marillat.free.fr/">homepage</A>. These packages are highly
   unofficial, however, as Christian made and redistributed these packages when
   MPlayer was still not fully GPLed and
-  <A HREF="users_against_developers.html#binary">binary redistribution</A>
+  <A HREF="users_against_developers.html#binary">binary redistribution</A> was
   not allowed. Christian ignored requests to stop redistributing his packages,
   which caused bad blood with MPlayer developers. Binary redistribution is not
   a problem anymore, but we <B>do not support</B> these packages!</P>