Re #9386. Remove now-unused parameter.