Updated to correct the copyright holders in third clause