oops, fix handling of verbatim strings