This option is redundant here.