fix up verbatims