Is the type annotation necessary here?