Get rid of a wrongful GCC warning.