updated COPYING