Get rid of undef warning (a leftover from an earlier design)