Patch pushed as 4ca4b96e2a674ac53c90315d98ff8ec614f0e606. Thanks.