It cannot be the default anyway, see above.