diff --git a/DOCS/documentation.html b/DOCS/documentation.html
index 1975e80144..8e8e8b784a 100644
--- a/DOCS/documentation.html
+++ b/DOCS/documentation.html
@@ -1715,6 +1715,7 @@ General audio delay or jerky sound (exists with all or many files):
try with -vo null, if it plays well, then you have slow VGA card/driver
Workaround: buy a faster card or read this documentation about how to speed up
SOLVED: try -framedrop
+