Patch applied as cf78318204aff1ed443094a3428dfeed859f0c8a.
Thanks.