Copyright fix to make autotest happy