Re-add missing Lazy change

Fixes #135.