Small tweak to COPYING file