Patch pushed as a1522f49f43af6dc548b6a158513c4e86dda7144. Thanks.