Fix warning with GCC 4.8.2