re #8437 and another warning