Patch pushed as 002e8bac4bd763eae062faf0ef09c2a55955740a. Thanks.