Fix compiler warning with gcc 4.7