use explicit defaults for options