ref #6159: minor