Patch pushed as 74432fb7bacc93f8cf93dee4409147d61daacd86. Thanks.