Fix a gcc 4.8 warning