I wouldn't heavily enforce it either since it is trivial, but I would make the suggestion to them if they haven't. Plus, it's actually a good thing to get into the habit of doing research for naming too, you can find some parallels and new ideas for your character along the way that can give the name a much deeper meaning than it being what they're called.