You're right. I updated the PR.