Fill in blanks in LICENSE.txt