Converting a few more verbatims