Update copyright notice in COPYRIGHT file too