I'm not sure we need a default value here.