Is this instance variable ever used? It's not clear what it does.