Stylistically, it'd be better to import `option::None` and then use `None` here.