correcting type verification