issue #2770: fix warning