fix a type error.