Corrected type for lens-4