minor change to fix asciidoc