diff-options.txt: Fix asciidoc markup issue