MADS: Silence GCC warning