[Spec] stubbed platform was of wrong type.