FIXUP: Make 'proxies' option work without options.