small fix for building with gcc 4.7