A minor correction to proxy stuff.

All above.