LazySpec updates