Registrars usually renew the expired domains with the registry, so they can offer a grace period to their customers. Technically those names are not expired, they would enter redemption from day one otherwise.
But the registrar can still cancel the renewal within 45 days and get a refund. In the meantime they put them up on sale.
If you post the full whois I could confirm that.