Patch pushed as e9c6be11260b1487ee241855d8189e1441f6bf8d.
Thanks.