And actually add COPYING this time. :)