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