Fix license, commit 'git-force-pull'.