Fix a crash with the new option.