type mismatch correction