Same questions about the default here.