This is a typo. I fixed it because the change does not change behavior.