Fixed a type error