Add another possible domain name

I doubt this will be used but it's good to add it anyway.