COPYING formatting improved