correct type annotation