Fix license header

* This supersedes #81 and #82