Fix some bad type specs.