Patch applied as 9cb0b33771b38adef8bed627d72a5e31c738f25f. Thanks.