deleting some type errors