fix bad type