Is this needed here? You define it again below.