correct typehint