Removing verbatim tags