remove some small type errors