A fix for gcc.