but was actually of type [$Proxy17]