Here's what I found out so far, beside the fact that assigning a vocal nickname works fine.
I reckon you're right, there has to be an issue with the contact mapping between WhatsApp and Google. Probably not a local issue either. But an interesting point was, when I first encountered the problem...