fix minor warnings to make GCC on Linux happy