Silence GCC warning