It used to be an instance variable, but I can't see it being used that way any more.  I will provisionally remove it.