Silence warning from GCC 4.8