Patch pushed as f00690c0ed2066a0dcc867bfe06a8f8c88272c2f.
Thanks.