re #10549 Fix warning