replace verbatim strings, as they break Github syntax colouring