correct a type