Patch pushed as 572d01e085709586c4e95863a2302f5c8136dd44.
Thanks.