That's what I had at first, but there's a problem: the options processing doesn't happen unless there are actually some options. So if you pass no options, the default doesn't get set.