Adding with_default_options to the integration pdf