Patch pushed as 3db4a00d43fe64e02d9452ba203a3015790f5167.
Thanks.