Revised the file `COPYRIGHT' for better clarity.