Just committed a fix.

Thanks.