correct a type annotation