flight.js: make gjslinter happy