The default should be specified.