Slight tweak to COPYRIGHT.txt