Small correction to LazyConverter