They may also be taking into account that it's AC so the average current can be a bit higher as it's not steady state (i.e. continuous).