Delta Air Lines CEO Ed Bastian made $13.2 million last year, according to company documents filed Friday afternoon.

Bastian's total compensation in 2017 included an $800,004 salary, $6.7 million in stock awards, $3.3 million in stock options, $2.1 million in incentives, and other compensation including retirement contributions, tax reimbursement and other perks, according to an annual filing with the U.S. Securities and Exchange Commission.

Bastian's pay was up from nearly $12.6 million in 2016. He has been CEO of Atlanta-based Delta since May 2016.

Delta president Glen Hauenstein made $8.2 million last year, while chief operating officer Gil West made nearly $7.5 million.