Patch pushed as 7ee45b9d32c802dc4dcd9388ffdb67a644c0496c.
Thanks.