Patch pushed as 72644ce13f96b109a88cf067cc6e75beba3e9dae.
Thanks.