extract verbatim stuff