Silenced a warning under GCC