Patch applied as c9d655330d817a0ea30190468cbb6772db1311b5.
Thanks.