Fix up lazyproxy module