Suppress an unnecessary warning