When Windows 10 upgrades to Enterprise instead of Pro

One user was trying to upgrade Windows 10 Home to Pro and so purchased a Pro upgrade in the Microsoft Store app. But after the installation, the Enterprise edition was installed and not activated because the user didn't have an Enterprise license. A clean reinstall of Windows 10 Home with another attempt at installing the Pro license from the Store produced Enterprise again. Apparently the way to downgrade to Pro is to use "change product key" to set the generic activation key for Pro. It will then notice the digital license and activate Pro properly.