Hi,
I checked and it looks like you're right. Try calling vmware support. In this link there are telephone numbers (https://www.vmware.com/education-services/training/contact-us.html) and ask for explanations.
ARomeo
