Is this something to do with airport scheduling, i.e. there is a gate departure time (normally as per your ticket) but a runway departure time that will be some minutes after that, based on taxi time etc. Perhaps they use the runway departure time in the US?