attempt to use TLazy correctly (see #3279)