Fixed some verbatim tagging