Re #6811. Missed an override.