Multiple <verbatim> tags missed