Remove clause 3 of the copyright (changed in other files 2002-03-08).