Reformat COPYING.txt