nitpick but `default` already means `required=False`.