Handle double-backslash sequences correctly