Indeed, you're right. Should I send another PR to fix it?