Patch applied as d34fe100186bbd680e1c470794b9232b105688b5.
Thanks.