fix types.json