DFW International Airport CEO Sean Donohue was awarded a 3.1 percent raise and a $140,000 bonus Thursday following a year of record passenger traffic at the major international hub.

The raise, approved by the airport's board, brings Donohue’s base salary to $512,000, up from $496,186 the previous year. His bonus was lower than the $171,285 he received last year after he met 93.75 percent of the goals and metrics set for him by the airport board, compared with 118.75 percent last year.

Those goals included hitting budget targets and improving customer satisfaction metrics.

The nation’s fourth largest airport saw record traffic, with 69 million passengers, and is preparing for another surge next year with American Airlines set to add as many as 100 daily flights.

Donohue’s compensation places him among the highest-paid CEOS at U.S. airports, but it’s still below the million-dollar or more salaries paid to directors at major international airports in the United Kingdom, Australia and Germany.

Donohue oversees about 1,900 employees at the airport. His compensation is funded through the airport's operations and does not rely on local tax dollars.

Clarification: An earlier version of this story misstated Donohue's new salary.