Back to double-backslashes