Why `\\` instead of just `\`?