Re #8882. Update instructions.