is the nil here superfluous?