fix COPYING