Fix deprecated argument passed to add_option