Correct an error in COPYRIGHT.txt