[darcs-to-svn @ Fix copyright in GPL header]