That made me realize that different options have different cases - I understand where this comes from, and this is not a blocker, but while we are doing changes, it might be worth capitalizing all options for consistency.