Fix bad type