Correct typehint