Fix rendering of asciidoc files.

Fixes issue #3506.