gremlin/gremlin.in (JPEGFormat): Fix property name in docstring.

diff --git a/gremlin/gremlin.in b/gremlin/gremlin.in
index c029bc31bbe5212edc7df332983bbbd72616dc0e..1fd862d59d1e38933e20cadd239badbc6df1674d 100755 (executable)
--- a/gremlin/gremlin.in
+++ b/gremlin/gremlin.in
@@ -1236,7 +1236,7 @@ class JPEGFormat (ImageFormat):
   optimize
           If present, take a second pass to select optimal encoder settings.
 
-  progression
+  progressive
           If present, make a progressive file.
 
   quality Integer from 1--100 (worst to best); default is 75.