Re #8882. Forgot the import.