Fixed a type mistake.