Another asciidoc.pawk change