Patch applied as d84fb791f6a3a010f7d3fbe2d8bab55db1e1bc1f. Thanks.