Patch pushed as 80546d54d2ef2e7ba5eae10bbd6d61e7dcc58bd4.
Thanks.