Re #9933. Missed one.