There must be. You are right, it was cancelled last minute with passengers already airside. That suggests aircraft went tech and there was no replacement.