COPYING updated.