Yes, it was a settlement, but it was a very lenient settlement. Libya paid only a small portion of what the US said was owed, and got pretty big returns for it.