Minor tweaks to the new functions in the Lazy module.