Fix error with GCC 4.8