As far as I can see, this variable is not used.