diff --git a/DOCS/mplayer.1 b/DOCS/mplayer.1
index e1b627c1ed..94b3480106 100644
--- a/DOCS/mplayer.1
+++ b/DOCS/mplayer.1
@@ -48,6 +48,8 @@ mplayer \- Movie Player for Linux
 .RB [ \-dumpsub ]
 .RB [ \-noframedrop ]
 .RB [ \-framedrop ]
+.RB [ \-nodouble ]
+.RB [ \-double ]
 .RB [ \-dvdkey\ key ]
 .RB [ \-stereo\ mode ]
 .RB [ \-srate\ Hz ]