Adding copy-left to make travis happy