Patch applied as 2d298564e39994be559d9518b88130f45ca1726f. Thanks.