Dot in name of gmail adress

A user was blocked by mistake (is ob Blacklist, detected as Spam, but ist is not). I wanted to add his email address to the whitelist. Unfortunately, this did not work because the system made from [email protected] -> [email protected], i.e. removed the dot. What should I do? Thanks in advance!