Fix rendering of asciidoc files.

Fixes #3506.