fix a gcc-warning