It is well known that when "x" buckets become available, upgrades aren't always instantaneously processed. This is why AA pulled X availability on EF.
A person buying a ticket and requesting an upgrade in between that short time period between X becoming available and upgrades being processed will skip the upgrade list. That's nothing new.