Interesting. At Burger King in Germany, there's no such difference, last time I checked.