Patch pushed as 3d09c03ea8b44efccd3a00c44e0ffb2bf72dcad2.
Thanks.