Fix license headers in a few places
The intention when adding the files edited in this merge request was to use the same license header as the surrounding, but instead another one was used. This merge request fixes that. @feaneron, you are the copyright holder of these files, do you agree with this?