This is declared, but never used.  I think it can be deleted.