Patch pushed as 1da91705b0b01b9578353777567e6058242ebb5b.
Thanks.