Remove COPYING inadvertently merged from #38