Fix verbatim_tag