I don't think you meant to change the SHA for Tern here.