correcting a type error in an error message