what is the meaning of the 'default' comment here and below?