Slight change to asciidoc to preserve <-