correct a type mistake.