Patch pushed as 911b0a54514384195331ff6e89163a63b5c2c308.
Thanks.