Add a copyright notice in COPYRIGHT