fix lambda tycheck