Improve coverage on ProxyModule.