From eda518f55822d1f5758357d99a2d24b88b19993e Mon Sep 17 00:00:00 2001
From: wm4 <wm4@nowhere>
Date: Wed, 18 Nov 2015 13:33:37 +0100
Subject: manpage: fix a typo

---
 DOCS/man/options.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'DOCS')

diff --git a/DOCS/man/options.rst b/DOCS/man/options.rst
index cdc0e75094..dece3af9a0 100644
--- a/DOCS/man/options.rst
+++ b/DOCS/man/options.rst
@@ -622,7 +622,7 @@ Video
     Set the internal pixel format used by ``--hwdec=videotoolbox`` on OSX. The
     choice of the format can influence performance considerably. On the other
     hand, there doesn't appear to be a good way to detect the best format for
-    the given hardware. ``nv12``, the default works better on modern hardware,
+    the given hardware. ``nv12``, the default, works better on modern hardware,
     while ``uyvy422`` appears to be better for old hardware. ``rgb0`` also
     works.
 
-- 
cgit v1.2.3