That's from the JSON license, right?