Yes, sorry, undefined seems like a mistake here.