Proxies now compile correctly!