Patch pushed as dff90b64b9a2a253c39b3f91082a466c91cbc5bb. Thanks.