Patch pushed as 1217b02f4539e14cc904ada218d52ffb48cd8f76.
Thanks.