issue #2870: fix warnings