make -Wextra happy