ref #8389: minor