Patch pushed as c12c7f128418d4e0d8373d6e918547bc7f95abef.
Thanks.