I only mentioned it in case we had something post-processing later on which does something like indexOf('@') to split the string up. It's not a big deal, if you think we won't see that kind of bug.