ref #6619: minor