type errors still persist