Silence a gcc warning