fixes a type annotation