Fixes coverage for default options