Fix license headers in a few places