MarvelC incorrectly identifies as Marvel (Virgin Mobile USA)

OK, I'm very confused here.

I have a MarvelC. I know this because it's a Virgin Mobile phone and i just installed, successfully, cm-9.1.0-CRYPTOMILK-ALPHA9-marvelc.zip then cm-10.1-20130622-EXPERIMENTAL-marvelc-A0.zip

The strange part is, I had to edit the first line of

Code:

---

\META-INF\com\google\android\updater-script

---

from

Code:

---

assert(getprop("ro.product.device") == "marvelc" || getprop("ro.build.product") == "marvelc");

---

to

Code:

---

assert(getprop("ro.product.device") == "marvel" || getprop("ro.build.product") == "marvel");

---

Has anyone seen this or know how to fix it?

Thanks,

Peter