Fix one more type problem.