Removed unused symbol.