very very minor change to avoid an unnecessary warning.