fix strange g++ warning