* Another fix to debian/copyright