Unless you're also allowing local mails to be sent to other user accounts without leaving the system, in which case the @ is unnecessary, iirc