Fixes COPYING