issue #2770: fix some warning