Update lint-trap.js