that would be good. but i would nonetheless not introduce a different
default here.