format option. The problem is that the next character after such an escape was not copied to the output.
9470f2d15c