Fix header, add copyright notice