Re #10123. Removed unused variable.