Got rid of yet another unused variable.