Patch applied as a59445e65d7812f586ae743b4a085258162a6995. Thanks.