That was already very bad news for Cruise which wound up having to lay people off.