Fixed in the SQLite core library via check-in: