Appended name to COPYING file.