Update for lens-4.4. Fixes #585.