minor change to proxy autodetection