FAA discovers Boeing programming flaw