If we change the default above, it should be unnecessary to specify this here.