Patch pushed as 3de01371dc0c5fb0847d8ad64bc508f77396f56b.
Thanks.