Fix license headers in a few files