Completes proxy.rb.