fix processing of \\