Silence a GCC warning