Patch pushed as 47097b947b893215644510ebb7c6b9c3413683c5.
Thanks.