Tweaked COPYING.txt