fixed bug in Lazy