tilde escapes are weird in asciidoc