More along the clean-up of verbatims.
paul