That is correct. These are third party bookings, it's a bit like going to First Choice and you end up booking a Thomas Cook holiday and fly on a TUI jet. It can get a bit confusing.
My general point to all concerned are this:
1. Cooks have no flight operations from SEN.
2. They have fully pulled out of a number of Spanish destinations.
3. Any remaining may well not last much longer.
4. They will not be operating their own aircraft from SEN other than empty when they elect to carry out servicing when the need arises.
End of!