Proper fix for re.sub() call with repl value containing backslash