small fixes to Lazy.js