Reformat LICENSE.txt