Patch pushed as 7ecb497599d3e3a4b49146dd89dde4f37b906164. Thanks.