Workaround for asciidoc.js bug.