Avoid an unnecessary warning