correcting a type