@@ -357,7 +357,7 @@ data WriterOptions = WriterOptions
357357 , writerSourceURL :: Maybe String -- ^ Absolute URL + directory of 1st source file
358358 , writerUserDataDir :: Maybe FilePath -- ^ Path of user data directory
359359 , writerCiteMethod :: CiteMethod -- ^ How to print cites
360− , writerDocBook5 :: Bool -- ^ Produce DocBook5
360+ , writerDocbook5 :: Bool -- ^ Produce DocBook5
361361 , writerHtml5 :: Bool -- ^ Produce HTML5
362362 , writerHtmlQTags :: Bool -- ^ Use @<q>@ tags for quotes in HTML
363363 , writerBeamer :: Bool -- ^ Produce beamer LaTeX slide show
@@ -404,7 +404,7 @@ instance Default WriterOptions where
404404 , writerSourceURL = Nothing
405405 , writerUserDataDir = Nothing
406406 , writerCiteMethod = Citeproc
407− , writerDocBook5 = False
407+ , writerDocbook5 = False
408408 , writerHtml5 = False
409409 , writerHtmlQTags = False
410410 , writerBeamer = False