I think this variable is no longer used.