That would make more sense IMHO. I implemented it this way for consistency with what the AST for e.g. `\\u400` looks like at the moment (the `\\` is not included there either).