Added license info in the header (again)