another COPYING fix