Fixed a missing default option.