please compare with the other license headers we use