It's not a critical issue, but it was surprising since we didn’t know that SQLite3 would be one of the challenges before the competition.