Obsolete option.