fix a type error