You're right.
Fix commited.
Thanks.